ПРОМЕЖУТОЧНАЯ ЛОГИКА

См. также в других словарях:

• ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… …   Математическая энциклопедия

• ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний, логическое исчисление, в к ром выводимыми объектами являются пропозициональные формулы. Каждое П. и. задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. и., наз …   Математическая энциклопедия

• СХОЛАСТИКА — (лат. scholastica, от греч. scholastikos школьный, ученый) тип религиозной философии, характеризующийся принципиальным подчинением примату теологии, соединением догматических предпосылок с рационалистической методикой и особым интересом к… …   Философская энциклопедия

• Соционика — П Необходимо освещение с ра …   Википедия

• Список наиболее употребительных аббревиатур, встречающихся в научно-технической литературе по электронике — …   Википедия

• Горький, Максим — псевдоним знаменитого писателя Алексея Максимовича Пешкова (см.). {Брокгауз}
  Горький, Максим (наст. фам. Пешков, Алексей Максим.), известный беллетрист, р. 14 марта 1869 в Нижн. Новгороде, с. обойщика, подмастерье малярного цеха. {Венгеров}
  … …   Большая биографическая энциклопедия

• СХОЛАСТИКА — (греч. schola ученая беседа, школа и лат. scholastica ученый) интеллектуальный феномен средневековой и постсредневековой европейской культуры в рамках теолого философской традиции, ставивший своей целью рациональное обоснование и систематическую… …   История Философии: Энциклопедия

• СХОЛАСТИКА — (греч. schola ученая беседа, школа и лат. scholaslica ученый) интеллектуальный феномен средневековой и постсредневековой европейской культуры в рамках теолого философской традиции, ставивший своей целью рациональное обоснование и систематическую… …   Новейший философский словарь

• СХОЛАСТИКА — (греч. schola ученая беседа, школа и лат. scholastica ученый) интеллектуальный феномен средневековой и постсредневековой европейской культуры в рамках теолого философской традиции, ставивший своей целью рациональное обоснование и систематическую… …   История Философии: Энциклопедия

• ГОСТ Р 50304-92: Системы для сопряжения радиоэлектронных средств интерфейсные. Термины и определения — Терминология ГОСТ Р 50304 92: Системы для сопряжения радиоэлектронных средств интерфейсные. Термины и определения оригинал документа: 75 абонент интерфейса: Радиоэлектронное средство, подключенное к интерфейсу для выдачи или приема информации… …   Словарь-справочник терминов нормативно-технической документации

• Схоластика — (лат. scholastica, от греч. scholastikós школьный, учёный, schole̅́ учёная беседа, школа)         тип религиозной философии, характеризующийся принципиальным подчинением примату теологии, соединением догматических предпосылок с рационалистической …   Большая советская энциклопедия